Wyniki
-
The quarrel theorem - First attempt to the Logic of Lie
B. Majcher
Bulletin of the Section of Logic , 19 /4 (1990) s. 139-146 -
On empirical status of logical inferences
Marcin Mostowski
Bulletin of the Section of Logic , 12 /4 (1983) s. 181-187 -
Divisibility Quantifiers
Marcin Mostowski
Bulletin of the Section of Logic , 20 /2 (1991) s. 67-82 -
Quantifiers definable by second order means
Marcin Mostowski
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 113-114 -
Characterization of Medvedev's Logic by Means of Kubinski's Frames
Marcin Łazarz
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 83-90 -
A NOte on Distributive Triples
Marcin Łazarz
Bulletin of the Section of Logic , 48 /3 (2019) s. 207-211 -
Faces of monotonicity and wisdom formulas problem
Vladimir V. Rybakov, B. Fedorishin
Bulletin of the Section of Logic , 29 /4 (2000) s. 181-192 -
Note on some Characterization of Distributive Lattices of Finite Length
Marcin Łazarz, Krzysztof Siemieńczuk
Bulletin of the Section of Logic , 44 /1-2 (2015) s. 15-17 -
On the Definability of Leśniewski's Copula 'is' in Some Onthology-Like Theories
Marcin Łyczak, Andrzej Pietruszczak
Bulletin of the Section of Logic , 47 /4 (2018) s. 233-263 -
A mechanized decision procedure for non-classical logics: The program KRIPKE
Michael A. McRobbie, Paul B. Thistlewaite, Robert K. Meyer
Bulletin of the Section of Logic , 9 /4 (1980) s. 189-192 -
Functional Completeness in CPL «via» Correspondence Analysis
Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin, Marcin Jukiewicz
Bulletin of the Section of Logic , 48 /1 (2019) s. 45-76